⇄ procedural learning vs. declarative learning

declarative learning, ◊ procedural learning

according to ❐ Cognitive Tutors﹕ Lesson Learned, this distinction is a core tenet of ◊ ACT-R

funny parallel (I mean, not random) with imperative vs. declarative

I'm becoming (maybe) too much a fan of procedural learning

is it useful to dualistically think about declarative vs procedural learning﹖